Given Δx
Σ(p_f) << Σ(p_i) ⇒ ( t_f > t_i ∧ V_f >> V_i ) ∨ ( t_f >> t_i ∧ V_f >= V_i )
U_f > U_i ⇒ S_f >> S_i
∃(y) : ¬∃(x,y) ∧ ( ∃(x,y) | t = t_f - δt ) ⇒ ( S_f | t_f ) < ( S_f | t_f - δt )
⊤p currently unknown

(( ... sob I swear this is only confusing because he's seeing what sort of reactions he'll get ))